Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
191	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
192	How MERGE Really Works Bob Virgile Robert Virgile Associates, Inc. Overview Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Computing Data Software engineering Type theory Variable Assignment SAS Data set
193	Do I Have What It Takes? Equilibrium Search with Type Uncertainty and Non-Participation Add to Reading List Source URL: www.cens.uni-bonn.de Language: English - Date: 2014-03-27 06:30:03 Economy Business Labour economics Economics Minimum wage Involuntary unemployment Unemployment Search theory Dale T. Mortensen General equilibrium theory Phillips curve Efficiency wage
194	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
195	463 Do . Math. J. DMV A Subshift of Finite Type in the Takens-Bogdanov Bifur ation Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-15 07:20:49 Ergodic theory Subshift of finite type Representation theory
196	“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:50:26 Topology Abstract algebra Algebra Algebraic topology Surgery theory Homotopy theory Differential topology Sheaf theory Sheaf Cobordism Differentiable manifold H-cobordism
197	Rust typeclasses turn trait-er ! Lindsey Kuper Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2015-09-06 03:13:02 Software engineering Computing Computer programming Functional languages Type theory Concurrent programming languages Mozilla Rust Type class Trait Haskell
198	1255 Documenta Math. Enumerating Exceptional Collections of Line Bundles on Some Surfaces of General Type Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-11-09 06:28:14 Abstract algebra Algebra Geometry Symbol Divisor Cohomology Valuation Riemann surfaces Geometric group theory Geometric topology Orbifold
199	Variables Derived from the Student Questionnaire Population 3 User Guide for the TIMSS International Database Add to Reading List Source URL: pirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Software engineering Computer programming Type theory Computing Source code Educational research Trends in International Mathematics and Science Study Variable C++ classes Final HindleyMilner type system Subroutine
200	35 Documenta Math. On the Image of l-Adic Galois Representations for Abelian Varieties of Type I and II Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2006-11-21 15:14:15 Algebra Abstract algebra Mathematics Algebraic number theory Scheme theory Field theory Algebraic geometry Lie algebra Galois module Group scheme Ring Sheaf

UPDATE